Verifying Pressure Dependent Demand Modeling

Managing Disasters Using Pressure Dependent Demand Analysis – Case Study of Shirpur Town

Water is the most essential component for sustaining lives of humans and other living creatures. Supplying potable water with adequate residual pressure is a fundamental responsibility of city administration, which they do during normal conditions. But sometimes, abnormal conditions are formed resulting pressure deficient conditions during the daily operations of water distribution networks. Th...

managing disasters using pressure dependent demand analysis – case study of shirpur town

water is the most essential component for sustaining lives of humans and other living creatures. supplying potable water with adequate residual pressure is a fundamental responsibility of city administration, which they do during normal conditions. but sometimes, abnormal conditions are formed resulting pressure deficient conditions during the daily operations of water distribution networks. th...

Modeling and Verifying Systems using

An EPQ Model with Increasing Demand and Demand Dependent Production Rate under Trade Credit Financing

This paper investigates an EPQ model with the increasing demand and demand dependent production rate involving the trade credit financing policy, which is seldom reported in the literatures. The model considers the manufacturer was offered by the supplier a delayed payment time. It is assumed that the demand is a linear increasing function of the time and the production rate is proportional to ...

Modeling and Verifying a Bounded Retransmission Protocol

This paper concerns the transfer of les via a lossy communication channel. It formally speciies this le transfer service in a property-oriented way and investigates|using two diierent techniques| whether a given bounded retransmission protocol conforms to this service. This protocol is based on the well-known alternating bit protocol but allows for a bounded number of retransmission of a frame,...